Skip to main content

Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering

· One min read
이우진
담당교수
차성덕
권용래

Formal Methods Workshop '98, Daejon, Korea, 1998년 10월